Editor's Updates: June 2021

The expectations of SCI-E Journal editors from June

Editors note

EDITOR’S NOTE Geopersia is published biannually by the College of Science, University of Tehran, Iran. The College of Science published “Journal of Science”, which covered all fields of basic science, from 1968 to 2010. It was then decided that the College’s journals should be more specialized, and hence publication of Geopersia was launched. Geopersia aims to publish peer-reviewed original...

EMBL Programme 2017-2021: Digital Biology

I-4: Sperm Retrieval: 2013 Updates

Men with congenital absence or bilateral partial aplasia of vas deferens, or those with failed or surgically unreconstructable obstructions or azospermic men with testicular failure or genetic cause can now be treated by using sperm retrieval techniques in conjunction with in vitro fertilization/intra cytoplasmic sperm injection (ICSI/ IVF). These techniques are: Microsurgical epididymal sperm ...

Fluid Updates: Beyond Strong vs. Weak Updates

We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that relaxes the dichotomy between strong and weak updates. Our technique is fully automatic, does not suffer from the kind of state-space explosion problem partition-based approaches are prone to, and can naturally express properties t...